Backward Planning in the Logics of Communication and Change
نویسندگان
چکیده
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive agents that can be solved. For example, goals or plans may consist of a certain distribution of beliefs and ignorance among agents. Our results include: soundness and completeness of backward plan search (under BFS), both for deterministic planning and strong non-deterministic planning.
منابع مشابه
Strong Planning in the Logics of Communication and Change
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cogniti...
متن کاملPlanning in the logics of communication and change
We adapt backward planning to Logics of Communication and Change (LCC), that model how do actions, announcements and sensing change facts and agents’ beliefs. An LCC planner takes into account the epistemic effects of planned actions upon other agents, if their beliefs are relevant to her goals. Our results include: a characterization of frame axioms as theorems in ∗-free LCC, and soundness and...
متن کاملStrong Planning in the Logics of Communication and Change (extended version with proofs) - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change LCC. These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive...
متن کاملStrong Planning in the Logics of Communication and Change (extended version with proofs) - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change LCC. These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive...
متن کاملStrong Planning in the Logics of Communication and Change (extended version with proofs) - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change LCC. These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive...
متن کامل